#include "ShutDown.hpp"

#include <vector>
extern std::vector<int> PARAMS;

extern tbb::tick_count tick;

#define __EDT_DEF__
#include "AutoGenSupport.hpp"
// swarm_CodeletDesc_IMPL_NOCANCEL_NOCAST(SHUTDOWN_CODELET_NAME(0,7,3), SHUTDOWN_CODELET_NAME(0,7,3), swarm_c_void, swarm_c_void)
RSTREAM_BEGIN_SHUTDOWN_EDT_DEF(0, 7, 3)
#undef __EDT_DEF__

std::cout << "Total time for parallel execution of a stencil of size ";
if (PARAMS.size() > 0) {
  std::cout << PARAMS[0];
  for (uint64_t i=1; i<PARAMS.size(); ++i) {
    std::cout << " x " << PARAMS[i];
  }
}
std::cout << " is " << (tbb::tick_count::now()-tick).seconds() << " secs\n";

swarm_shutdownRuntime(NULL);

#define __EDT_DEF__
#include "AutoGenSupport.hpp"
// swarm_CodeletDesc_IMPL_END;
RSTREAM_END_SHUTDOWN_EDT_DEF(0, 7, 3)
#undef __EDT_DEF__
